On contact graphs of totally separable packings in low dimensions

The contact graph of a packing of translates of a convex body in Euclidean d-space E-d is the simple graph whose vertices are the members of the packing, and whose two vertices are connected by an edge if the two members touch each other. A packing of translates of a convex body is called totally separable, if any two members can be separated by a hyperplane in E-d disjoint from the interior of every packing element. We give upper bounds on the maximum degree (called separable Hadwiger number) and the maximum number of edges (called separable contact number) of the contact graph of a totally separable packing of n translates of an arbitrary smooth convex body in E-d with d = 2, 3, 4. In the proofs, linear algebraic and convexity methods are combined with volumetric and packing density estimates based on the underlying isoperimetric (resp., reverse isoperimetric) inequality. (C) 2018 Elsevier Inc. All rights reserved

A complex physiology-based empirical usability evaluation method in practice

This paper outlines the INTERFACE usability evaluation methodology developed by researchers of our department. It is based on the simultaneous assessment of Heart Period Variability (HPV), Skin Conductance (SC), and other data. One of the highlights of this methodology is its capability to identify quality attributes of software elements with a time-resolution of only a few seconds: in particular cases it can assess 2- or 3-second events. The Department of Ergonomics and Psychology at the Budapest University of Technology and Economics carried out applied research projects assessing very various software. After these, we can show different types of typical software problems identified by our method. The method of analysis allows us not only to decide what types of problems are significant to the users; however, on the other hand, the method allows us to decide, to what extent the found problems and their assessed severity concern all the users in general, or how these things depend on the type and characteris tics of the users

A ReALIS statikus interpretációjának kísérleti implementációja

Kutatócsoportunk célja a ReALIS statikus interpretációjának bemutatása. Ez a ReALIS definíciójában szereplő külvilági entitások és magrelációk Prolog-tényekké való direkt leképezésével, valamint az elmék működésének (szabályokkal történő) szimulálásával történik. A rendszerben a külvilágba ágyazottan több interpretálói entitás (elme) is szerepel, melyek szintén Prologtényekké leképezve tartalmazzák a külvilágnak, ill. más interpretálók elméinek (szükségképpen torz) projekcióit. A torzulás az információ téves vagy nem teljes, sőt ellentmondó voltából eredhet. E keretek között a program feladata jelenlegi formájában egy kiterjesztett klasszikus igazságértékelésen túl az, hogy egyes mondatokról eldöntse, hogy azok az interpretálók szájából elhangozhatnak-e. A program a feldolgozás során kiírja, hogy mely információkhoz nyúlt e kérdések megválaszolása során. A rendszer jelenleg csak egy nagyon egyszerű generatív szintaxist használ, az alsóbb nyelvi szintekkel való összeépítés és a teljes rendszer integrációja későbbi, komoly feladat. Ugyanakkor a több elme szimultán kezelése már a projekt hosszú távú céljainak szem előtt tartásával történik. A program SICStus Prolog 4.2.1-ben készült

Interpretáció, intenzionalitás, modalitás : avagy a ReALIS függvényének implementációja felé

Projektünk célja egy egyszerbb diskurzusokat elemezni képes interpretáló rendszer implementálása. Ennek keretében 4 függvényt definiáltunk, ezek közül korábban a morfoszintaxist megragadó �-ról volt szó. Most az intenzionalitást és modalitást leírni szándékozó � szintfüggvény kerül terítékre, amely magának a világocskastruktúrának a kialakításáért felel. A függvény mködését bemutatjuk néhány példán, majd, részben kódrészletek segítségével, eddigi eredményeinkre támaszkodva felvázoljuk az implementáció lehetséges útját, rávilágítva néhány problémára és lehetségre. A �-val kapcsolatban további elméleti cikkek megjelenése is várható, ezek fképpen a szintemelésért, szinttartásért felels nyelvi elemekrl, egyes partikulák jelentésérl (a � tükrében) és általában a � pragmatikai vonatkozásairól szólnak majd

Modelling Different Possibilities to Use a Frequency Inverter Drive

In many fields of industry frequency inverter drive is used to generate rotation when, due to a given technology or production process, modifying the speed of the engine is necessary. In this article we introduce a model built by us, through which we present the frequency inverter drive’s principles of utilization from different fields of industry and by using industrial automation de-vices. Through this model one can be familiarized with the 4 methods created by us that can be controlled through a complex yet easy to understand and user-friendly HM

Frekvenciaváltós hajtás különböző felhasználási lehetőségeinek modellezése

Az iparban számos területen használnak frekvenciaváltós hajtást forgómozgás megvalósítására, ahol a motor fordulatszáma változtatást követel adott technológiai vagy gyártási folyamat miatt. Cikkemben egy általam megépített modellt mutatok be, mellyel ipari automatizálási eszközökkel szemléltetem a frekvenciaváltós hajtás felhasználási elveit az ipar különböző területeiről. A modellem segítségével megismerhető az általam megalkotott négy módszer, melyet egy összetett, de átlátható és felhasználóbarát kezelőfelületen keresztül tudok irányítani

The Kneser–Poulsen Conjecture for Special Contractions

The Kneser–Poulsen conjecture states that if the centers of a family of N unit balls in (Formula presented.) are contracted, then the volume of the union (resp., intersection) does not increase (resp., decrease). We consider two types of special contractions. First, a uniform contraction is a contraction where all the pairwise distances in the first set of centers are larger than all the pairwise distances in the second set of centers. We obtain that a uniform contraction of the centers does not decrease the volume of the intersection of the balls, provided that (Formula presented.). Our result extends to intrinsic volumes. We prove a similar result concerning the volume of the union. Second, a strong contraction is a contraction in each coordinate. We show that the conjecture holds for strong contractions. In fact, the result extends to arbitrary unconditional bodies in the place of balls. © 2018 Springer Science+Business Media, LLC, part of Springer Natur

Preliminary data on game meat consumption in Hungary

The ecological facilities of Hungary are favourable for the production of game animals and venison. An extensive survey was begun by the authors to study the habits of customers and domestic consumption. The aim was to map the consumers' purchasing attitude and their demand as well. The habits and attitudes of consumers were analyzed in context of natural, high added value, healthy and environment friendly animal products: the meat of game animals. Data were collected by questionnaires. The results represent a descriptive picture on the acceptance, rejection, attitudes and preferences concerning the given product categories. In the recent study we focused on the following species: red deer, fallow deer, roe deer, wild boar, hare, pheasant and mallard duck. Differences were found between the answers of the asked sample population living in cities and in the rural areas. Those people who have a negative attitude to venison are vegetarian or refuse the consumption due to emotional reasons